Communication-cEntric Software Research Articles

Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software

Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software

Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Reversibility in session-based concurrency: A fresh look

Much research has studied foundations for correct and reliable communication-centric software systems. A salient approach to correctness uses verification based on session types to enforce structured communications; a recent approach to reliability uses reversible actions as a way of reacting to unanticipated events or failures. In this paper, we develop a simple observation: the semantic machinery required to define asynchronous (queue-based), monitored communications can also support reversible protocols. We propose a framework of session communication in which monitors support reversibility of (untyped) processes. Main novelty in our approach are session types with present and past, which allow us to streamline the semantics of reversible actions. We prove that reversibility in our framework is causally consistent, and define ways of using monitors to control reversible actions.

Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Proceedings 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Proceedings 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software

Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software

Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Theoretical Aspects of Communication-Centred Programming

This short note outlines two different ways of describing communication-centric software in the form of formal calculi and discuss their relationship. Two different paradigms of description, one centring on global message flows and another centring on local (end-point) behaviours, share the common feature, structured representation of communications. The global calculus originates from Web Services - Choreography Description Language (WS-CDL), a web service description language developed by W3C's WS-CDL Working Group. The local calculus is based on the π-calculus, one of the representative calculi for communicating processes. We illustrate these two descriptive frameworks, outline the static and dynamic semantics of these calculi, and discuss the basic idea of end-point projection, by which any well-formed description in the global calculus has a precise representation in the local calculus.